#include <xp/sys/utl.h>
#include <xp/bas/stdio.h>

int xp_main ()
{
	xp_sysinfo_t info;

	if (xp_getsysinfo(&info) == -1) {
		xp_fprintf (xp_stderr, XP_TEXT("cannot get sysinfo\n"));
		return -1;
	}

	xp_printf (XP_TEXT("ncpus: %lu\n"), (unsigned long)info.ncpus);
	xp_printf (XP_TEXT("uptime: %ld secs\n"), (long)info.uptime / 1000);

	return 0;
}
